Search results for "Many-valued logic"

showing 3 items of 3 documents

Many-valued Logics and Quantum Mechanics

2013

Many-valued Logics Quantum Mechanics Truth Fuzzy LogicSettore M-FIL/02 - Logica E Filosofia Della Scienza
researchProduct

Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems

1996

Abstract It is shown that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system iff it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and also matches a natural logic. The proof is based on the Ehrenfeucht–Fraisse technique for first-order logic and an implementation of “threshold counting” within tiling systems.

Predicate logicMonadic second-order logicDiscrete mathematicsNatural logicIntermediate logicHigher-order logicMonadic predicate calculusComputer Science ApplicationsTheoretical Computer ScienceMathematics::LogicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputational Theory and MathematicsComputer Science::Logic in Computer ScienceMany-valued logicDynamic logic (modal logic)Computer Science::Formal Languages and Automata TheoryInformation SystemsMathematicsInformation and Computation
researchProduct

Employing fuzzy logic in the diagnosis of a clinical case

2010

Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of…

business.industryProbabilistic logic networkMany-valued logicMultimodal logicDynamic logic (modal logic)Paraconsistent logicSettore M-FIL/02 - Logica E Filosofia Della ScienzaArtificial intelligenceT-norm fuzzy logicsbusinessFuzzy Logic Probabilistic Logic Clinical diagnosis Biological phenomena TruthHigher-order logicFuzzy logicHealth
researchProduct